(define (problem Pathways-11)
(:domain Pathways-ComplexPreferences)
(:objects
	Wee1 - simple
	SP1 - simple
	Skp2 - simple
	RPA - simple
	Raf1 - simple
	pRbp1-E2F4p1-DP12 - simple
	pRb-E2F4p1-DP12 - simple
	PCNA - simple
	pCAF - simple
	p57 - simple
	p53 - simple
	p300 - simple
	p16 - simple
	p130-E2F5p1-DP12 - simple
	p130-E2F4p1-DP12 - simple
	p130 - simple
	Max - simple
	m1433 - simple
	Jun - simple
	HDAC1-pRbp1-E2F4-DP12 - simple
	HDAC1-pRbp1-E2F13p1-DP12 - simple
	HDAC1-pRbp1-E2F13-DP12 - simple
	HDAC1-p130-E2F5p1-DP12 - simple
	HDAC1-p130-E2F4p1-DP12 - simple
	HDAC1-p107-E2F4p1-DP12 - simple
	HDAC1 - simple
	gP - simple
	gE-c - simple
	gE2 - simple
	E2F6 - simple
	E2F5 - simple
	E2F3 - simple
	E2F2 - simple
	E2F13p1-DP12 - simple
	E2F13-DP12p1 - simple
	E2F13-DP12 - simple
	E2F1 - simple
	DP12 - simple
	C-TAK1 - simple
	cks1 - simple
	Chk1 - simple
	cdk7 - simple
	cdk46p1 - simple
	cdk2p2-cycB - simple
	cdk2 - simple
	cdc25C - simple
	AP2 - simple
	AP2-gE-c - complex
	cdk2-cks1 - complex
	cdk2p1p2-cycB - complex
	c-Myc-AP2 - complex
	c-Myc-Max - complex
	E2F13-DP12-gE2 - complex
	E2F13p1-DP12-gE2 - complex
	E2F1-DP12 - complex
	E2F2-DP12 - complex
	E2F3-DP12 - complex
	E2F5-DP12-gE2 - complex
	E2F6-DP12-gE2 - complex
	E2F6-DP12 - complex
	HDAC1-p107-E2F4p1-DP12-gE2 - complex
	HDAC1-p130-E2F4p1-DP12-gE2 - complex
	HDAC1-p130-E2F5-DP12-gE2 - complex
	HDAC1-p130-E2F5-DP12 - complex
	HDAC1-p130-E2F5p1-DP12-gE2 - complex
	HDAC1-pRb-E2F4p1-DP12 - complex
	HDAC1-pRbp1-E2F13-DP12-gE2 - complex
	HDAC1-pRbp1-E2F13p1-DP12-gE2 - complex
	HDAC1-pRbp1-E2F4-DP12-gE2 - complex
	Jun-c-Fos - complex
	m1433-cdc25Cp2 - complex
	cdc25Cp2 - complex
	Mdm2-E2F13-DP12 - complex
	Mdm2-E2F13-DP12p1 - complex
	Mdm2-E2F13p1-DP12 - complex
	p130-E2F5-DP12-gE2 - complex
	E2F5-DP12 - complex
	p16-cdk46p1 - complex
	p16-cdk7 - complex
	p21-cdk2-cycA - complex
	p21-cdk2-cycEp1 - complex
	p21-cdk2-cycE - complex
	p21-cdk2p1-cycA - complex
	p21-cdk46p1-cycDp1 - complex
	p21-cdk46p1-cycD - complex
	p21-Gadd45 - complex
	p53-DP12 - complex
	Mdm2 - complex
	p57-cdk2-cycA - complex
	p57-cdk2-cycEp1 - complex
	p57-cdk2-cycE - complex
	p57-cdk2p1-cycA - complex
	p57-cdk46p1-cycDp1 - complex
	p57-cdk46p1-cycD - complex
	pCAF-p300 - complex
	PCNA-cycDp1 - complex
	PCNA-cycD - complex
	PCNA-Gadd45 - complex
	Gadd45 - complex
	PCNA-p21-cdk2-cycA - complex
	PCNA-p21-cdk2-cycEp1 - complex
	cdk2-cycEp1 - complex
	PCNA-p21-cdk2-cycE - complex
	cdk2-cycE - complex
	PCNA-p21-cdk2p1-cycA - complex
	PCNA-p21-cdk46p1-cycDp1 - complex
	cdk46p1-cycDp1 - complex
	PCNA-p21-cdk46p1-cycD - complex
	cdk46p1-cycD - complex
	PCNA-p21 - complex
	p21 - complex
	pRb-E2F4p1-DP12-gE2 - complex
	pRbp1-E2F4p1-DP12-gE2 - complex
	Ecadherin - complex
	c-Fos - complex
	Raf1-p130-E2F4p1-DP12-gE2 - complex
	Raf1-p130-E2F4p1-DP12 - complex
	Raf1-p130-E2F5-DP12-gE2 - complex
	Raf1-p130-E2F5-DP12 - complex
	p130-E2F5-DP12 - complex
	Raf1-p130-E2F5p1-DP12-gE2 - complex
	Raf1-p130-E2F5p1-DP12 - complex
	Raf1-pRb-E2F4p1-DP12-gE2 - complex
	Raf1-pRb-E2F4p1-DP12 - complex
	Raf1-pRbp1-E2F4p1-DP12-gE2 - complex
	Raf1-pRbp1-E2F4p1-DP12 - complex
	RPA-cycA - complex
	Skp2-cdk2-cycA - complex
	Skp2-cdk2p1-cycA - complex
	cdk2-cycA - complex
	cdk2p1-cycA - complex
	c-Myc - complex
	cycA - complex
	cycD - complex
	cycDp1 - complex
	cycE - complex
	cycEp1 - complex
	p19ARF - complex
	pol - complex
	SP1-gP - complex
	SP1-p107-gP - complex
	SP1-p107p1-gP - complex
	SP1-p107p1 - complex
	p107p1 - complex
	SP1-p107 - complex
	p107 - complex)


(:init
	(possible Wee1)
	(= (available Wee1) 0)
	(possible SP1)
	(= (available SP1) 0)
	(possible Skp2)
	(= (available Skp2) 0)
	(possible RPA)
	(= (available RPA) 0)
	(possible Raf1)
	(= (available Raf1) 0)
	(possible pRbp1-E2F4p1-DP12)
	(= (available pRbp1-E2F4p1-DP12) 0)
	(possible pRb-E2F4p1-DP12)
	(= (available pRb-E2F4p1-DP12) 0)
	(possible PCNA)
	(= (available PCNA) 0)
	(possible pCAF)
	(= (available pCAF) 0)
	(possible p57)
	(= (available p57) 0)
	(possible p53)
	(= (available p53) 0)
	(possible p300)
	(= (available p300) 0)
	(possible p16)
	(= (available p16) 0)
	(possible p130-E2F5p1-DP12)
	(= (available p130-E2F5p1-DP12) 0)
	(possible p130-E2F4p1-DP12)
	(= (available p130-E2F4p1-DP12) 0)
	(possible p130)
	(= (available p130) 0)
	(possible Max)
	(= (available Max) 0)
	(possible m1433)
	(= (available m1433) 0)
	(possible Jun)
	(= (available Jun) 0)
	(possible HDAC1-pRbp1-E2F4-DP12)
	(= (available HDAC1-pRbp1-E2F4-DP12) 0)
	(possible HDAC1-pRbp1-E2F13p1-DP12)
	(= (available HDAC1-pRbp1-E2F13p1-DP12) 0)
	(possible HDAC1-pRbp1-E2F13-DP12)
	(= (available HDAC1-pRbp1-E2F13-DP12) 0)
	(possible HDAC1-p130-E2F5p1-DP12)
	(= (available HDAC1-p130-E2F5p1-DP12) 0)
	(possible HDAC1-p130-E2F4p1-DP12)
	(= (available HDAC1-p130-E2F4p1-DP12) 0)
	(possible HDAC1-p107-E2F4p1-DP12)
	(= (available HDAC1-p107-E2F4p1-DP12) 0)
	(possible HDAC1)
	(= (available HDAC1) 0)
	(possible gP)
	(= (available gP) 0)
	(possible gE-c)
	(= (available gE-c) 0)
	(possible gE2)
	(= (available gE2) 0)
	(possible E2F6)
	(= (available E2F6) 0)
	(possible E2F5)
	(= (available E2F5) 0)
	(possible E2F3)
	(= (available E2F3) 0)
	(possible E2F2)
	(= (available E2F2) 0)
	(possible E2F13p1-DP12)
	(= (available E2F13p1-DP12) 0)
	(possible E2F13-DP12p1)
	(= (available E2F13-DP12p1) 0)
	(possible E2F13-DP12)
	(= (available E2F13-DP12) 0)
	(possible E2F1)
	(= (available E2F1) 0)
	(possible DP12)
	(= (available DP12) 0)
	(possible C-TAK1)
	(= (available C-TAK1) 0)
	(possible cks1)
	(= (available cks1) 0)
	(possible Chk1)
	(= (available Chk1) 0)
	(possible cdk7)
	(= (available cdk7) 0)
	(possible cdk46p1)
	(= (available cdk46p1) 0)
	(possible cdk2p2-cycB)
	(= (available cdk2p2-cycB) 0)
	(possible cdk2)
	(= (available cdk2) 0)
	(possible cdc25C)
	(= (available cdc25C) 0)
	(possible AP2)
	(= (available AP2) 0)
	(= (available AP2-gE-c) 0)
	(= (available cdk2-cks1) 0)
	(= (available cdk2p1p2-cycB) 0)
	(= (available c-Myc-AP2) 0)
	(= (available c-Myc-Max) 0)
	(= (available E2F13-DP12-gE2) 0)
	(= (available E2F13p1-DP12-gE2) 0)
	(= (available E2F1-DP12) 0)
	(= (available E2F2-DP12) 0)
	(= (available E2F3-DP12) 0)
	(= (available E2F5-DP12-gE2) 0)
	(= (available E2F6-DP12-gE2) 0)
	(= (available E2F6-DP12) 0)
	(= (available HDAC1-p107-E2F4p1-DP12-gE2) 0)
	(= (available HDAC1-p130-E2F4p1-DP12-gE2) 0)
	(= (available HDAC1-p130-E2F5-DP12-gE2) 0)
	(= (available HDAC1-p130-E2F5-DP12) 0)
	(= (available HDAC1-p130-E2F5p1-DP12-gE2) 0)
	(= (available HDAC1-pRb-E2F4p1-DP12) 0)
	(= (available HDAC1-pRbp1-E2F13-DP12-gE2) 0)
	(= (available HDAC1-pRbp1-E2F13p1-DP12-gE2) 0)
	(= (available HDAC1-pRbp1-E2F4-DP12-gE2) 0)
	(= (available Jun-c-Fos) 0)
	(= (available m1433-cdc25Cp2) 0)
	(= (available cdc25Cp2) 0)
	(= (available Mdm2-E2F13-DP12) 0)
	(= (available Mdm2-E2F13-DP12p1) 0)
	(= (available Mdm2-E2F13p1-DP12) 0)
	(= (available p130-E2F5-DP12-gE2) 0)
	(= (available E2F5-DP12) 0)
	(= (available p16-cdk46p1) 0)
	(= (available p16-cdk7) 0)
	(= (available p21-cdk2-cycA) 0)
	(= (available p21-cdk2-cycEp1) 0)
	(= (available p21-cdk2-cycE) 0)
	(= (available p21-cdk2p1-cycA) 0)
	(= (available p21-cdk46p1-cycDp1) 0)
	(= (available p21-cdk46p1-cycD) 0)
	(= (available p21-Gadd45) 0)
	(= (available p53-DP12) 0)
	(= (available Mdm2) 0)
	(= (available p57-cdk2-cycA) 0)
	(= (available p57-cdk2-cycEp1) 0)
	(= (available p57-cdk2-cycE) 0)
	(= (available p57-cdk2p1-cycA) 0)
	(= (available p57-cdk46p1-cycDp1) 0)
	(= (available p57-cdk46p1-cycD) 0)
	(= (available pCAF-p300) 0)
	(= (available PCNA-cycDp1) 0)
	(= (available PCNA-cycD) 0)
	(= (available PCNA-Gadd45) 0)
	(= (available Gadd45) 0)
	(= (available PCNA-p21-cdk2-cycA) 0)
	(= (available PCNA-p21-cdk2-cycEp1) 0)
	(= (available cdk2-cycEp1) 0)
	(= (available PCNA-p21-cdk2-cycE) 0)
	(= (available cdk2-cycE) 0)
	(= (available PCNA-p21-cdk2p1-cycA) 0)
	(= (available PCNA-p21-cdk46p1-cycDp1) 0)
	(= (available cdk46p1-cycDp1) 0)
	(= (available PCNA-p21-cdk46p1-cycD) 0)
	(= (available cdk46p1-cycD) 0)
	(= (available PCNA-p21) 0)
	(= (available p21) 0)
	(= (available pRb-E2F4p1-DP12-gE2) 0)
	(= (available pRbp1-E2F4p1-DP12-gE2) 0)
	(= (available Ecadherin) 0)
	(= (available c-Fos) 0)
	(= (available Raf1-p130-E2F4p1-DP12-gE2) 0)
	(= (available Raf1-p130-E2F4p1-DP12) 0)
	(= (available Raf1-p130-E2F5-DP12-gE2) 0)
	(= (available Raf1-p130-E2F5-DP12) 0)
	(= (available p130-E2F5-DP12) 0)
	(= (available Raf1-p130-E2F5p1-DP12-gE2) 0)
	(= (available Raf1-p130-E2F5p1-DP12) 0)
	(= (available Raf1-pRb-E2F4p1-DP12-gE2) 0)
	(= (available Raf1-pRb-E2F4p1-DP12) 0)
	(= (available Raf1-pRbp1-E2F4p1-DP12-gE2) 0)
	(= (available Raf1-pRbp1-E2F4p1-DP12) 0)
	(= (available RPA-cycA) 0)
	(= (available Skp2-cdk2-cycA) 0)
	(= (available Skp2-cdk2p1-cycA) 0)
	(= (available cdk2-cycA) 0)
	(= (available cdk2p1-cycA) 0)
	(= (available c-Myc) 0)
	(= (available cycA) 0)
	(= (available cycD) 0)
	(= (available cycDp1) 0)
	(= (available cycE) 0)
	(= (available cycEp1) 0)
	(= (available p19ARF) 0)
	(= (available pol) 0)
	(= (available SP1-gP) 0)
	(= (available SP1-p107-gP) 0)
	(= (available SP1-p107p1-gP) 0)
	(= (available SP1-p107p1) 0)
	(= (available p107p1) 0)
	(= (available SP1-p107) 0)
	(= (available p107) 0)
	(association-reaction AP2 gE-c AP2-gE-c)
	(= (need-for-association AP2 gE-c AP2-gE-c) 3)
	(= (need-for-association gE-c AP2 AP2-gE-c) 4)
	(= (prod-by-association AP2 gE-c AP2-gE-c) 4)
	(synthesis-reaction AP2-gE-c Ecadherin) 
	(= (need-for-synthesis AP2-gE-c Ecadherin) 3)
	(= (prod-by-synthesis AP2-gE-c Ecadherin) 3)
	(catalyzed-association-reaction cdc25C Chk1 cdc25Cp2)
	(= (need-for-catalyzed-association cdc25C Chk1 cdc25Cp2) 3)
	(= (need-for-catalyzed-association Chk1 cdc25C cdc25Cp2) 4)
	(= (prod-by-catalyzed-association cdc25C Chk1 cdc25Cp2) 1)
	(catalyzed-association-reaction cdc25C C-TAK1 cdc25Cp2)
	(= (need-for-catalyzed-association cdc25C C-TAK1 cdc25Cp2) 4)
	(= (need-for-catalyzed-association C-TAK1 cdc25C cdc25Cp2) 4)
	(= (prod-by-catalyzed-association cdc25C C-TAK1 cdc25Cp2) 2)
	(association-reaction cdk2 cks1 cdk2-cks1)
	(= (need-for-association cdk2 cks1 cdk2-cks1) 2)
	(= (need-for-association cks1 cdk2 cdk2-cks1) 3)
	(= (prod-by-association cdk2 cks1 cdk2-cks1) 1)
	(association-reaction cdk2 cycA cdk2-cycA)
	(= (need-for-association cdk2 cycA cdk2-cycA) 3)
	(= (need-for-association cycA cdk2 cdk2-cycA) 2)
	(= (prod-by-association cdk2 cycA cdk2-cycA) 4)
	(catalyzed-association-reaction cdk2-cycA Wee1 cdk2p1-cycA)
	(= (need-for-catalyzed-association cdk2-cycA Wee1 cdk2p1-cycA) 2)
	(= (need-for-catalyzed-association Wee1 cdk2-cycA cdk2p1-cycA) 3)
	(= (prod-by-catalyzed-association cdk2-cycA Wee1 cdk2p1-cycA) 4)
	(association-reaction cdk2 cycE cdk2-cycE)
	(= (need-for-association cdk2 cycE cdk2-cycE) 4)
	(= (need-for-association cycE cdk2 cdk2-cycE) 2)
	(= (prod-by-association cdk2 cycE cdk2-cycE) 4)
	(association-reaction cdk2 cycEp1 cdk2-cycEp1)
	(= (need-for-association cdk2 cycEp1 cdk2-cycEp1) 4)
	(= (need-for-association cycEp1 cdk2 cdk2-cycEp1) 4)
	(= (prod-by-association cdk2 cycEp1 cdk2-cycEp1) 2)
	(catalyzed-association-reaction cdk2p2-cycB Wee1 cdk2p1p2-cycB)
	(= (need-for-catalyzed-association cdk2p2-cycB Wee1 cdk2p1p2-cycB) 3)
	(= (need-for-catalyzed-association Wee1 cdk2p2-cycB cdk2p1p2-cycB) 1)
	(= (prod-by-catalyzed-association cdk2p2-cycB Wee1 cdk2p1p2-cycB) 2)
	(association-reaction cdk46p1 cycD cdk46p1-cycD)
	(= (need-for-association cdk46p1 cycD cdk46p1-cycD) 4)
	(= (need-for-association cycD cdk46p1 cdk46p1-cycD) 3)
	(= (prod-by-association cdk46p1 cycD cdk46p1-cycD) 1)
	(association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1)
	(= (need-for-association cdk46p1 cycDp1 cdk46p1-cycDp1) 3)
	(= (need-for-association cycDp1 cdk46p1 cdk46p1-cycDp1) 3)
	(= (prod-by-association cdk46p1 cycDp1 cdk46p1-cycDp1) 3)
	(association-reaction c-Myc AP2 c-Myc-AP2)
	(= (need-for-association c-Myc AP2 c-Myc-AP2) 2)
	(= (need-for-association AP2 c-Myc c-Myc-AP2) 1)
	(= (prod-by-association c-Myc AP2 c-Myc-AP2) 2)
	(association-reaction c-Myc Max c-Myc-Max)
	(= (need-for-association c-Myc Max c-Myc-Max) 2)
	(= (need-for-association Max c-Myc c-Myc-Max) 4)
	(= (prod-by-association c-Myc Max c-Myc-Max) 1)
	(synthesis-reaction E2F13-DP12-gE2 c-Myc) 
	(= (need-for-synthesis E2F13-DP12-gE2 c-Myc) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 c-Myc) 2)
	(synthesis-reaction E2F13-DP12-gE2 cycA) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycA) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycA) 4)
	(synthesis-reaction E2F13-DP12-gE2 cycD) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycD) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycD) 4)
	(synthesis-reaction E2F13-DP12-gE2 cycDp1) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycDp1) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycDp1) 1)
	(synthesis-reaction E2F13-DP12-gE2 cycE) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycE) 2)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycE) 2)
	(synthesis-reaction E2F13-DP12-gE2 cycEp1) 
	(= (need-for-synthesis E2F13-DP12-gE2 cycEp1) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 cycEp1) 4)
	(association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2)
	(= (need-for-association E2F13-DP12 gE2 E2F13-DP12-gE2) 2)
	(= (need-for-association gE2 E2F13-DP12 E2F13-DP12-gE2) 3)
	(= (prod-by-association E2F13-DP12 gE2 E2F13-DP12-gE2) 3)
	(synthesis-reaction E2F13-DP12-gE2 p107) 
	(= (need-for-synthesis E2F13-DP12-gE2 p107) 3)
	(= (prod-by-synthesis E2F13-DP12-gE2 p107) 1)
	(synthesis-reaction E2F13-DP12-gE2 p107p1) 
	(= (need-for-synthesis E2F13-DP12-gE2 p107p1) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 p107p1) 4)
	(synthesis-reaction E2F13-DP12-gE2 p19ARF) 
	(= (need-for-synthesis E2F13-DP12-gE2 p19ARF) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 p19ARF) 2)
	(synthesis-reaction E2F13-DP12-gE2 pol) 
	(= (need-for-synthesis E2F13-DP12-gE2 pol) 4)
	(= (prod-by-synthesis E2F13-DP12-gE2 pol) 3)
	(synthesis-reaction E2F13p1-DP12-gE2 c-Myc) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 c-Myc) 4)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 c-Myc) 2)
	(synthesis-reaction E2F13p1-DP12-gE2 cycA) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 cycA) 4)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 cycA) 1)
	(synthesis-reaction E2F13p1-DP12-gE2 cycD) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 cycD) 3)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 cycD) 1)
	(synthesis-reaction E2F13p1-DP12-gE2 cycDp1) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 cycDp1) 4)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 cycDp1) 3)
	(synthesis-reaction E2F13p1-DP12-gE2 cycE) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 cycE) 3)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 cycE) 1)
	(synthesis-reaction E2F13p1-DP12-gE2 cycEp1) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 cycEp1) 1)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 cycEp1) 2)
	(association-reaction E2F13p1-DP12 gE2 E2F13p1-DP12-gE2)
	(= (need-for-association E2F13p1-DP12 gE2 E2F13p1-DP12-gE2) 4)
	(= (need-for-association gE2 E2F13p1-DP12 E2F13p1-DP12-gE2) 4)
	(= (prod-by-association E2F13p1-DP12 gE2 E2F13p1-DP12-gE2) 1)
	(synthesis-reaction E2F13p1-DP12-gE2 p107) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 p107) 4)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 p107) 2)
	(synthesis-reaction E2F13p1-DP12-gE2 p107p1) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 p107p1) 2)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 p107p1) 3)
	(synthesis-reaction E2F13p1-DP12-gE2 p19ARF) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 p19ARF) 1)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 p19ARF) 3)
	(synthesis-reaction E2F13p1-DP12-gE2 pol) 
	(= (need-for-synthesis E2F13p1-DP12-gE2 pol) 1)
	(= (prod-by-synthesis E2F13p1-DP12-gE2 pol) 3)
	(association-reaction E2F1 DP12 E2F1-DP12)
	(= (need-for-association E2F1 DP12 E2F1-DP12) 1)
	(= (need-for-association DP12 E2F1 E2F1-DP12) 1)
	(= (prod-by-association E2F1 DP12 E2F1-DP12) 2)
	(association-reaction E2F2 DP12 E2F2-DP12)
	(= (need-for-association E2F2 DP12 E2F2-DP12) 1)
	(= (need-for-association DP12 E2F2 E2F2-DP12) 1)
	(= (prod-by-association E2F2 DP12 E2F2-DP12) 4)
	(association-reaction E2F3 DP12 E2F3-DP12)
	(= (need-for-association E2F3 DP12 E2F3-DP12) 4)
	(= (need-for-association DP12 E2F3 E2F3-DP12) 3)
	(= (prod-by-association E2F3 DP12 E2F3-DP12) 3)
	(association-reaction E2F5 DP12 E2F5-DP12)
	(= (need-for-association E2F5 DP12 E2F5-DP12) 2)
	(= (need-for-association DP12 E2F5 E2F5-DP12) 2)
	(= (prod-by-association E2F5 DP12 E2F5-DP12) 3)
	(synthesis-reaction E2F5-DP12-gE2 c-Myc) 
	(= (need-for-synthesis E2F5-DP12-gE2 c-Myc) 4)
	(= (prod-by-synthesis E2F5-DP12-gE2 c-Myc) 2)
	(synthesis-reaction E2F5-DP12-gE2 cycA) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycA) 3)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycA) 3)
	(synthesis-reaction E2F5-DP12-gE2 cycD) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycD) 4)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycD) 3)
	(synthesis-reaction E2F5-DP12-gE2 cycDp1) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycDp1) 3)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycDp1) 2)
	(synthesis-reaction E2F5-DP12-gE2 cycE) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycE) 3)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycE) 3)
	(synthesis-reaction E2F5-DP12-gE2 cycEp1) 
	(= (need-for-synthesis E2F5-DP12-gE2 cycEp1) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 cycEp1) 2)
	(association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2)
	(= (need-for-association E2F5-DP12 gE2 E2F5-DP12-gE2) 4)
	(= (need-for-association gE2 E2F5-DP12 E2F5-DP12-gE2) 3)
	(= (prod-by-association E2F5-DP12 gE2 E2F5-DP12-gE2) 1)
	(synthesis-reaction E2F5-DP12-gE2 p107) 
	(= (need-for-synthesis E2F5-DP12-gE2 p107) 4)
	(= (prod-by-synthesis E2F5-DP12-gE2 p107) 2)
	(synthesis-reaction E2F5-DP12-gE2 p107p1) 
	(= (need-for-synthesis E2F5-DP12-gE2 p107p1) 1)
	(= (prod-by-synthesis E2F5-DP12-gE2 p107p1) 2)
	(synthesis-reaction E2F5-DP12-gE2 p19ARF) 
	(= (need-for-synthesis E2F5-DP12-gE2 p19ARF) 2)
	(= (prod-by-synthesis E2F5-DP12-gE2 p19ARF) 2)
	(synthesis-reaction E2F5-DP12-gE2 pol) 
	(= (need-for-synthesis E2F5-DP12-gE2 pol) 4)
	(= (prod-by-synthesis E2F5-DP12-gE2 pol) 2)
	(association-reaction E2F6 DP12 E2F6-DP12)
	(= (need-for-association E2F6 DP12 E2F6-DP12) 2)
	(= (need-for-association DP12 E2F6 E2F6-DP12) 3)
	(= (prod-by-association E2F6 DP12 E2F6-DP12) 2)
	(association-reaction E2F6-DP12 gE2 E2F6-DP12-gE2)
	(= (need-for-association E2F6-DP12 gE2 E2F6-DP12-gE2) 4)
	(= (need-for-association gE2 E2F6-DP12 E2F6-DP12-gE2) 1)
	(= (prod-by-association E2F6-DP12 gE2 E2F6-DP12-gE2) 3)
	(association-reaction HDAC1-p107-E2F4p1-DP12 gE2 HDAC1-p107-E2F4p1-DP12-gE2)
	(= (need-for-association HDAC1-p107-E2F4p1-DP12 gE2 HDAC1-p107-E2F4p1-DP12-gE2) 1)
	(= (need-for-association gE2 HDAC1-p107-E2F4p1-DP12 HDAC1-p107-E2F4p1-DP12-gE2) 4)
	(= (prod-by-association HDAC1-p107-E2F4p1-DP12 gE2 HDAC1-p107-E2F4p1-DP12-gE2) 2)
	(association-reaction HDAC1-p130-E2F4p1-DP12 gE2 HDAC1-p130-E2F4p1-DP12-gE2)
	(= (need-for-association HDAC1-p130-E2F4p1-DP12 gE2 HDAC1-p130-E2F4p1-DP12-gE2) 2)
	(= (need-for-association gE2 HDAC1-p130-E2F4p1-DP12 HDAC1-p130-E2F4p1-DP12-gE2) 2)
	(= (prod-by-association HDAC1-p130-E2F4p1-DP12 gE2 HDAC1-p130-E2F4p1-DP12-gE2) 4)
	(association-reaction HDAC1-p130-E2F5-DP12 gE2 HDAC1-p130-E2F5-DP12-gE2)
	(= (need-for-association HDAC1-p130-E2F5-DP12 gE2 HDAC1-p130-E2F5-DP12-gE2) 1)
	(= (need-for-association gE2 HDAC1-p130-E2F5-DP12 HDAC1-p130-E2F5-DP12-gE2) 4)
	(= (prod-by-association HDAC1-p130-E2F5-DP12 gE2 HDAC1-p130-E2F5-DP12-gE2) 3)
	(association-reaction HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12)
	(= (need-for-association HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12) 2)
	(= (need-for-association p130-E2F5-DP12 HDAC1 HDAC1-p130-E2F5-DP12) 2)
	(= (prod-by-association HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12) 1)
	(association-reaction HDAC1-p130-E2F5p1-DP12 gE2 HDAC1-p130-E2F5p1-DP12-gE2)
	(= (need-for-association HDAC1-p130-E2F5p1-DP12 gE2 HDAC1-p130-E2F5p1-DP12-gE2) 3)
	(= (need-for-association gE2 HDAC1-p130-E2F5p1-DP12 HDAC1-p130-E2F5p1-DP12-gE2) 4)
	(= (prod-by-association HDAC1-p130-E2F5p1-DP12 gE2 HDAC1-p130-E2F5p1-DP12-gE2) 4)
	(association-reaction HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12)
	(= (need-for-association HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12) 2)
	(= (need-for-association pRb-E2F4p1-DP12 HDAC1 HDAC1-pRb-E2F4p1-DP12) 4)
	(= (prod-by-association HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12) 3)
	(association-reaction HDAC1-pRbp1-E2F13-DP12 gE2 HDAC1-pRbp1-E2F13-DP12-gE2)
	(= (need-for-association HDAC1-pRbp1-E2F13-DP12 gE2 HDAC1-pRbp1-E2F13-DP12-gE2) 3)
	(= (need-for-association gE2 HDAC1-pRbp1-E2F13-DP12 HDAC1-pRbp1-E2F13-DP12-gE2) 4)
	(= (prod-by-association HDAC1-pRbp1-E2F13-DP12 gE2 HDAC1-pRbp1-E2F13-DP12-gE2) 4)
	(association-reaction HDAC1-pRbp1-E2F13p1-DP12 gE2 HDAC1-pRbp1-E2F13p1-DP12-gE2)
	(= (need-for-association HDAC1-pRbp1-E2F13p1-DP12 gE2 HDAC1-pRbp1-E2F13p1-DP12-gE2) 4)
	(= (need-for-association gE2 HDAC1-pRbp1-E2F13p1-DP12 HDAC1-pRbp1-E2F13p1-DP12-gE2) 1)
	(= (prod-by-association HDAC1-pRbp1-E2F13p1-DP12 gE2 HDAC1-pRbp1-E2F13p1-DP12-gE2) 3)
	(association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2)
	(= (need-for-association HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 2)
	(= (need-for-association gE2 HDAC1-pRbp1-E2F4-DP12 HDAC1-pRbp1-E2F4-DP12-gE2) 2)
	(= (prod-by-association HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 1)
	(association-reaction Jun c-Fos Jun-c-Fos)
	(= (need-for-association Jun c-Fos Jun-c-Fos) 3)
	(= (need-for-association c-Fos Jun Jun-c-Fos) 1)
	(= (prod-by-association Jun c-Fos Jun-c-Fos) 2)
	(association-reaction m1433 cdc25Cp2 m1433-cdc25Cp2)
	(= (need-for-association m1433 cdc25Cp2 m1433-cdc25Cp2) 1)
	(= (need-for-association cdc25Cp2 m1433 m1433-cdc25Cp2) 1)
	(= (prod-by-association m1433 cdc25Cp2 m1433-cdc25Cp2) 1)
	(association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12)
	(= (need-for-association Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 2)
	(= (need-for-association E2F13-DP12 Mdm2 Mdm2-E2F13-DP12) 2)
	(= (prod-by-association Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 2)
	(association-reaction Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1)
	(= (need-for-association Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1) 2)
	(= (need-for-association E2F13-DP12p1 Mdm2 Mdm2-E2F13-DP12p1) 3)
	(= (prod-by-association Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1) 1)
	(association-reaction Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12)
	(= (need-for-association Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12) 4)
	(= (need-for-association E2F13p1-DP12 Mdm2 Mdm2-E2F13p1-DP12) 4)
	(= (prod-by-association Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12) 3)
	(association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2)
	(= (need-for-association p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 4)
	(= (need-for-association gE2 p130-E2F5-DP12 p130-E2F5-DP12-gE2) 3)
	(= (prod-by-association p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 2)
	(association-reaction p130 E2F5-DP12 p130-E2F5-DP12)
	(= (need-for-association p130 E2F5-DP12 p130-E2F5-DP12) 3)
	(= (need-for-association E2F5-DP12 p130 p130-E2F5-DP12) 4)
	(= (prod-by-association p130 E2F5-DP12 p130-E2F5-DP12) 1)
	(association-reaction p16 cdk46p1 p16-cdk46p1)
	(= (need-for-association p16 cdk46p1 p16-cdk46p1) 1)
	(= (need-for-association cdk46p1 p16 p16-cdk46p1) 2)
	(= (prod-by-association p16 cdk46p1 p16-cdk46p1) 4)
	(association-reaction p16 cdk7 p16-cdk7)
	(= (need-for-association p16 cdk7 p16-cdk7) 4)
	(= (need-for-association cdk7 p16 p16-cdk7) 1)
	(= (prod-by-association p16 cdk7 p16-cdk7) 1)
	(association-reaction p21 cdk2-cycA p21-cdk2-cycA)
	(= (need-for-association p21 cdk2-cycA p21-cdk2-cycA) 3)
	(= (need-for-association cdk2-cycA p21 p21-cdk2-cycA) 2)
	(= (prod-by-association p21 cdk2-cycA p21-cdk2-cycA) 2)
	(association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1)
	(= (need-for-association p21 cdk2-cycEp1 p21-cdk2-cycEp1) 3)
	(= (need-for-association cdk2-cycEp1 p21 p21-cdk2-cycEp1) 4)
	(= (prod-by-association p21 cdk2-cycEp1 p21-cdk2-cycEp1) 3)
	(association-reaction p21 cdk2-cycE p21-cdk2-cycE)
	(= (need-for-association p21 cdk2-cycE p21-cdk2-cycE) 4)
	(= (need-for-association cdk2-cycE p21 p21-cdk2-cycE) 4)
	(= (prod-by-association p21 cdk2-cycE p21-cdk2-cycE) 3)
	(association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA)
	(= (need-for-association p21 cdk2p1-cycA p21-cdk2p1-cycA) 4)
	(= (need-for-association cdk2p1-cycA p21 p21-cdk2p1-cycA) 2)
	(= (prod-by-association p21 cdk2p1-cycA p21-cdk2p1-cycA) 1)
	(association-reaction p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1)
	(= (need-for-association p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 1)
	(= (need-for-association cdk46p1-cycDp1 p21 p21-cdk46p1-cycDp1) 3)
	(= (prod-by-association p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 3)
	(association-reaction p21 cdk46p1-cycD p21-cdk46p1-cycD)
	(= (need-for-association p21 cdk46p1-cycD p21-cdk46p1-cycD) 2)
	(= (need-for-association cdk46p1-cycD p21 p21-cdk46p1-cycD) 2)
	(= (prod-by-association p21 cdk46p1-cycD p21-cdk46p1-cycD) 2)
	(association-reaction p21 Gadd45 p21-Gadd45)
	(= (need-for-association p21 Gadd45 p21-Gadd45) 4)
	(= (need-for-association Gadd45 p21 p21-Gadd45) 1)
	(= (prod-by-association p21 Gadd45 p21-Gadd45) 4)
	(synthesis-reaction p53 c-Fos) 
	(= (need-for-synthesis p53 c-Fos) 1)
	(= (prod-by-synthesis p53 c-Fos) 3)
	(association-reaction p53 DP12 p53-DP12)
	(= (need-for-association p53 DP12 p53-DP12) 3)
	(= (need-for-association DP12 p53 p53-DP12) 1)
	(= (prod-by-association p53 DP12 p53-DP12) 3)
	(synthesis-reaction p53 Gadd45) 
	(= (need-for-synthesis p53 Gadd45) 4)
	(= (prod-by-synthesis p53 Gadd45) 4)
	(synthesis-reaction p53 Mdm2) 
	(= (need-for-synthesis p53 Mdm2) 2)
	(= (prod-by-synthesis p53 Mdm2) 1)
	(synthesis-reaction p53 p21) 
	(= (need-for-synthesis p53 p21) 4)
	(= (prod-by-synthesis p53 p21) 4)
	(association-reaction p57 cdk2-cycA p57-cdk2-cycA)
	(= (need-for-association p57 cdk2-cycA p57-cdk2-cycA) 2)
	(= (need-for-association cdk2-cycA p57 p57-cdk2-cycA) 2)
	(= (prod-by-association p57 cdk2-cycA p57-cdk2-cycA) 3)
	(association-reaction p57 cdk2-cycEp1 p57-cdk2-cycEp1)
	(= (need-for-association p57 cdk2-cycEp1 p57-cdk2-cycEp1) 2)
	(= (need-for-association cdk2-cycEp1 p57 p57-cdk2-cycEp1) 4)
	(= (prod-by-association p57 cdk2-cycEp1 p57-cdk2-cycEp1) 2)
	(association-reaction p57 cdk2-cycE p57-cdk2-cycE)
	(= (need-for-association p57 cdk2-cycE p57-cdk2-cycE) 1)
	(= (need-for-association cdk2-cycE p57 p57-cdk2-cycE) 2)
	(= (prod-by-association p57 cdk2-cycE p57-cdk2-cycE) 2)
	(association-reaction p57 cdk2p1-cycA p57-cdk2p1-cycA)
	(= (need-for-association p57 cdk2p1-cycA p57-cdk2p1-cycA) 2)
	(= (need-for-association cdk2p1-cycA p57 p57-cdk2p1-cycA) 2)
	(= (prod-by-association p57 cdk2p1-cycA p57-cdk2p1-cycA) 2)
	(association-reaction p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1)
	(= (need-for-association p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1) 4)
	(= (need-for-association cdk46p1-cycDp1 p57 p57-cdk46p1-cycDp1) 4)
	(= (prod-by-association p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1) 3)
	(association-reaction p57 cdk46p1-cycD p57-cdk46p1-cycD)
	(= (need-for-association p57 cdk46p1-cycD p57-cdk46p1-cycD) 1)
	(= (need-for-association cdk46p1-cycD p57 p57-cdk46p1-cycD) 2)
	(= (prod-by-association p57 cdk46p1-cycD p57-cdk46p1-cycD) 2)
	(association-reaction pCAF p300 pCAF-p300)
	(= (need-for-association pCAF p300 pCAF-p300) 1)
	(= (need-for-association p300 pCAF pCAF-p300) 1)
	(= (prod-by-association pCAF p300 pCAF-p300) 2)
	(association-reaction PCNA cycDp1 PCNA-cycDp1)
	(= (need-for-association PCNA cycDp1 PCNA-cycDp1) 3)
	(= (need-for-association cycDp1 PCNA PCNA-cycDp1) 4)
	(= (prod-by-association PCNA cycDp1 PCNA-cycDp1) 2)
	(association-reaction PCNA cycD PCNA-cycD)
	(= (need-for-association PCNA cycD PCNA-cycD) 1)
	(= (need-for-association cycD PCNA PCNA-cycD) 3)
	(= (prod-by-association PCNA cycD PCNA-cycD) 2)
	(association-reaction PCNA Gadd45 PCNA-Gadd45)
	(= (need-for-association PCNA Gadd45 PCNA-Gadd45) 3)
	(= (need-for-association Gadd45 PCNA PCNA-Gadd45) 3)
	(= (prod-by-association PCNA Gadd45 PCNA-Gadd45) 1)
	(association-reaction PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA)
	(= (need-for-association PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 2)
	(= (need-for-association cdk2-cycA PCNA-p21 PCNA-p21-cdk2-cycA) 1)
	(= (prod-by-association PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 2)
	(association-reaction PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1)
	(= (need-for-association PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 4)
	(= (need-for-association cdk2-cycEp1 PCNA-p21 PCNA-p21-cdk2-cycEp1) 2)
	(= (prod-by-association PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 1)
	(association-reaction PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE)
	(= (need-for-association PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 2)
	(= (need-for-association cdk2-cycE PCNA-p21 PCNA-p21-cdk2-cycE) 2)
	(= (prod-by-association PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 3)
	(association-reaction PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA)
	(= (need-for-association PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 3)
	(= (need-for-association cdk2p1-cycA PCNA-p21 PCNA-p21-cdk2p1-cycA) 4)
	(= (prod-by-association PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 4)
	(association-reaction PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1)
	(= (need-for-association PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 4)
	(= (need-for-association cdk46p1-cycDp1 PCNA-p21 PCNA-p21-cdk46p1-cycDp1) 3)
	(= (prod-by-association PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 4)
	(association-reaction PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD)
	(= (need-for-association PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 3)
	(= (need-for-association cdk46p1-cycD PCNA-p21 PCNA-p21-cdk46p1-cycD) 4)
	(= (prod-by-association PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 1)
	(association-reaction PCNA p21 PCNA-p21)
	(= (need-for-association PCNA p21 PCNA-p21) 4)
	(= (need-for-association p21 PCNA PCNA-p21) 4)
	(= (prod-by-association PCNA p21 PCNA-p21) 1)
	(association-reaction pRb-E2F4p1-DP12 gE2 pRb-E2F4p1-DP12-gE2)
	(= (need-for-association pRb-E2F4p1-DP12 gE2 pRb-E2F4p1-DP12-gE2) 2)
	(= (need-for-association gE2 pRb-E2F4p1-DP12 pRb-E2F4p1-DP12-gE2) 3)
	(= (prod-by-association pRb-E2F4p1-DP12 gE2 pRb-E2F4p1-DP12-gE2) 4)
	(association-reaction pRbp1-E2F4p1-DP12 gE2 pRbp1-E2F4p1-DP12-gE2)
	(= (need-for-association pRbp1-E2F4p1-DP12 gE2 pRbp1-E2F4p1-DP12-gE2) 3)
	(= (need-for-association gE2 pRbp1-E2F4p1-DP12 pRbp1-E2F4p1-DP12-gE2) 3)
	(= (prod-by-association pRbp1-E2F4p1-DP12 gE2 pRbp1-E2F4p1-DP12-gE2) 3)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 c-Myc) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 c-Myc) 4)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 c-Myc) 1)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycA) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycA) 1)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycA) 1)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycD) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycD) 3)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycD) 1)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycDp1) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycDp1) 2)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycDp1) 2)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycE) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycE) 2)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycE) 3)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycEp1) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycEp1) 3)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 cycEp1) 4)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 p107) 1)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 p107) 1)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107p1) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 p107p1) 3)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 p107p1) 4)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p19ARF) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 p19ARF) 1)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 p19ARF) 1)
	(synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 pol) 
	(= (need-for-synthesis Raf1-p130-E2F4p1-DP12-gE2 pol) 3)
	(= (prod-by-synthesis Raf1-p130-E2F4p1-DP12-gE2 pol) 3)
	(association-reaction Raf1-p130-E2F4p1-DP12 gE2 Raf1-p130-E2F4p1-DP12-gE2)
	(= (need-for-association Raf1-p130-E2F4p1-DP12 gE2 Raf1-p130-E2F4p1-DP12-gE2) 4)
	(= (need-for-association gE2 Raf1-p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12-gE2) 3)
	(= (prod-by-association Raf1-p130-E2F4p1-DP12 gE2 Raf1-p130-E2F4p1-DP12-gE2) 2)
	(association-reaction Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12)
	(= (need-for-association Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12) 4)
	(= (need-for-association p130-E2F4p1-DP12 Raf1 Raf1-p130-E2F4p1-DP12) 4)
	(= (prod-by-association Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12) 3)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 c-Myc) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 c-Myc) 2)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 c-Myc) 3)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycA) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 cycA) 2)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 cycA) 4)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycD) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 cycD) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 cycD) 1)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycDp1) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 cycDp1) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 cycDp1) 2)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycE) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 cycE) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 cycE) 3)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycEp1) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 cycEp1) 2)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 cycEp1) 3)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 p107) 4)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 p107) 4)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107p1) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 p107p1) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 p107p1) 3)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p19ARF) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 p19ARF) 3)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 p19ARF) 1)
	(synthesis-reaction Raf1-p130-E2F5-DP12-gE2 pol) 
	(= (need-for-synthesis Raf1-p130-E2F5-DP12-gE2 pol) 3)
	(= (prod-by-synthesis Raf1-p130-E2F5-DP12-gE2 pol) 1)
	(association-reaction Raf1-p130-E2F5-DP12 gE2 Raf1-p130-E2F5-DP12-gE2)
	(= (need-for-association Raf1-p130-E2F5-DP12 gE2 Raf1-p130-E2F5-DP12-gE2) 4)
	(= (need-for-association gE2 Raf1-p130-E2F5-DP12 Raf1-p130-E2F5-DP12-gE2) 3)
	(= (prod-by-association Raf1-p130-E2F5-DP12 gE2 Raf1-p130-E2F5-DP12-gE2) 1)
	(association-reaction Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12)
	(= (need-for-association Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12) 3)
	(= (need-for-association p130-E2F5-DP12 Raf1 Raf1-p130-E2F5-DP12) 1)
	(= (prod-by-association Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12) 1)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 c-Myc) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 c-Myc) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 c-Myc) 3)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycA) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycA) 4)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycA) 4)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycD) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycD) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycD) 1)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycDp1) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycDp1) 3)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycDp1) 2)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycE) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycE) 4)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycE) 3)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycEp1) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycEp1) 3)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 cycEp1) 4)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 p107) 4)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 p107) 3)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107p1) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 p107p1) 2)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 p107p1) 2)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p19ARF) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 p19ARF) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 p19ARF) 2)
	(synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 pol) 
	(= (need-for-synthesis Raf1-p130-E2F5p1-DP12-gE2 pol) 1)
	(= (prod-by-synthesis Raf1-p130-E2F5p1-DP12-gE2 pol) 1)
	(association-reaction Raf1-p130-E2F5p1-DP12 gE2 Raf1-p130-E2F5p1-DP12-gE2)
	(= (need-for-association Raf1-p130-E2F5p1-DP12 gE2 Raf1-p130-E2F5p1-DP12-gE2) 4)
	(= (need-for-association gE2 Raf1-p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12-gE2) 3)
	(= (prod-by-association Raf1-p130-E2F5p1-DP12 gE2 Raf1-p130-E2F5p1-DP12-gE2) 1)
	(association-reaction Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12)
	(= (need-for-association Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12) 2)
	(= (need-for-association p130-E2F5p1-DP12 Raf1 Raf1-p130-E2F5p1-DP12) 3)
	(= (prod-by-association Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12) 1)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 c-Myc) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 c-Myc) 1)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 c-Myc) 3)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycA) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycA) 3)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycA) 1)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycD) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycD) 3)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycD) 3)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycDp1) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycDp1) 3)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycDp1) 2)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycE) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycE) 3)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycE) 4)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycEp1) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycEp1) 2)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 cycEp1) 1)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p107) 1)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p107) 2)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107p1) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p107p1) 3)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p107p1) 3)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p19ARF) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p19ARF) 1)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 p19ARF) 3)
	(synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 pol) 
	(= (need-for-synthesis Raf1-pRb-E2F4p1-DP12-gE2 pol) 2)
	(= (prod-by-synthesis Raf1-pRb-E2F4p1-DP12-gE2 pol) 3)
	(association-reaction Raf1-pRb-E2F4p1-DP12 gE2 Raf1-pRb-E2F4p1-DP12-gE2)
	(= (need-for-association Raf1-pRb-E2F4p1-DP12 gE2 Raf1-pRb-E2F4p1-DP12-gE2) 4)
	(= (need-for-association gE2 Raf1-pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12-gE2) 2)
	(= (prod-by-association Raf1-pRb-E2F4p1-DP12 gE2 Raf1-pRb-E2F4p1-DP12-gE2) 4)
	(association-reaction Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12)
	(= (need-for-association Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12) 4)
	(= (need-for-association pRb-E2F4p1-DP12 Raf1 Raf1-pRb-E2F4p1-DP12) 3)
	(= (prod-by-association Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12) 3)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 c-Myc) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 c-Myc) 2)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 c-Myc) 3)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycA) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycA) 4)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycA) 4)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycD) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycD) 3)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycD) 4)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycDp1) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycDp1) 2)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycDp1) 1)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycE) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycE) 1)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycE) 1)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycEp1) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycEp1) 4)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 cycEp1) 3)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p107) 2)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p107) 2)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107p1) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p107p1) 2)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p107p1) 4)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p19ARF) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p19ARF) 2)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 p19ARF) 3)
	(synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 pol) 
	(= (need-for-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 pol) 1)
	(= (prod-by-synthesis Raf1-pRbp1-E2F4p1-DP12-gE2 pol) 4)
	(association-reaction Raf1-pRbp1-E2F4p1-DP12 gE2 Raf1-pRbp1-E2F4p1-DP12-gE2)
	(= (need-for-association Raf1-pRbp1-E2F4p1-DP12 gE2 Raf1-pRbp1-E2F4p1-DP12-gE2) 1)
	(= (need-for-association gE2 Raf1-pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12-gE2) 1)
	(= (prod-by-association Raf1-pRbp1-E2F4p1-DP12 gE2 Raf1-pRbp1-E2F4p1-DP12-gE2) 2)
	(association-reaction Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12)
	(= (need-for-association Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12) 2)
	(= (need-for-association pRbp1-E2F4p1-DP12 Raf1 Raf1-pRbp1-E2F4p1-DP12) 3)
	(= (prod-by-association Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12) 1)
	(association-reaction RPA cycA RPA-cycA)
	(= (need-for-association RPA cycA RPA-cycA) 4)
	(= (need-for-association cycA RPA RPA-cycA) 2)
	(= (prod-by-association RPA cycA RPA-cycA) 4)
	(association-reaction Skp2 cdk2-cycA Skp2-cdk2-cycA)
	(= (need-for-association Skp2 cdk2-cycA Skp2-cdk2-cycA) 2)
	(= (need-for-association cdk2-cycA Skp2 Skp2-cdk2-cycA) 4)
	(= (prod-by-association Skp2 cdk2-cycA Skp2-cdk2-cycA) 1)
	(association-reaction Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA)
	(= (need-for-association Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) 4)
	(= (need-for-association cdk2p1-cycA Skp2 Skp2-cdk2p1-cycA) 4)
	(= (prod-by-association Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) 4)
	(synthesis-reaction SP1-gP c-Myc) 
	(= (need-for-synthesis SP1-gP c-Myc) 3)
	(= (prod-by-synthesis SP1-gP c-Myc) 3)
	(synthesis-reaction SP1-gP cycA) 
	(= (need-for-synthesis SP1-gP cycA) 2)
	(= (prod-by-synthesis SP1-gP cycA) 3)
	(synthesis-reaction SP1-gP cycD) 
	(= (need-for-synthesis SP1-gP cycD) 3)
	(= (prod-by-synthesis SP1-gP cycD) 2)
	(synthesis-reaction SP1-gP cycDp1) 
	(= (need-for-synthesis SP1-gP cycDp1) 2)
	(= (prod-by-synthesis SP1-gP cycDp1) 2)
	(synthesis-reaction SP1-gP cycE) 
	(= (need-for-synthesis SP1-gP cycE) 3)
	(= (prod-by-synthesis SP1-gP cycE) 3)
	(synthesis-reaction SP1-gP cycEp1) 
	(= (need-for-synthesis SP1-gP cycEp1) 3)
	(= (prod-by-synthesis SP1-gP cycEp1) 2)
	(synthesis-reaction SP1-gP p107) 
	(= (need-for-synthesis SP1-gP p107) 4)
	(= (prod-by-synthesis SP1-gP p107) 1)
	(synthesis-reaction SP1-gP p107p1) 
	(= (need-for-synthesis SP1-gP p107p1) 2)
	(= (prod-by-synthesis SP1-gP p107p1) 4)
	(synthesis-reaction SP1-gP p19ARF) 
	(= (need-for-synthesis SP1-gP p19ARF) 2)
	(= (prod-by-synthesis SP1-gP p19ARF) 3)
	(synthesis-reaction SP1-gP pol) 
	(= (need-for-synthesis SP1-gP pol) 1)
	(= (prod-by-synthesis SP1-gP pol) 3)
	(association-reaction SP1 gP SP1-gP)
	(= (need-for-association SP1 gP SP1-gP) 1)
	(= (need-for-association gP SP1 SP1-gP) 2)
	(= (prod-by-association SP1 gP SP1-gP) 2)
	(association-reaction SP1-p107 gP SP1-p107-gP)
	(= (need-for-association SP1-p107 gP SP1-p107-gP) 3)
	(= (need-for-association gP SP1-p107 SP1-p107-gP) 1)
	(= (prod-by-association SP1-p107 gP SP1-p107-gP) 3)
	(association-reaction SP1-p107p1 gP SP1-p107p1-gP)
	(= (need-for-association SP1-p107p1 gP SP1-p107p1-gP) 2)
	(= (need-for-association gP SP1-p107p1 SP1-p107p1-gP) 2)
	(= (prod-by-association SP1-p107p1 gP SP1-p107p1-gP) 3)
	(association-reaction SP1 p107p1 SP1-p107p1)
	(= (need-for-association SP1 p107p1 SP1-p107p1) 1)
	(= (need-for-association p107p1 SP1 SP1-p107p1) 1)
	(= (prod-by-association SP1 p107p1 SP1-p107p1) 1)
	(association-reaction SP1 p107 SP1-p107)
	(= (need-for-association SP1 p107 SP1-p107) 4)
	(= (need-for-association p107 SP1 SP1-p107) 2)
	(= (prod-by-association SP1 p107 SP1-p107) 3)
	(= (num-subs) 0)
	(= (duration-association-reaction AP2 gE-c AP2-gE-c) 1.0)
	(= (duration-synthesis-reaction AP2-gE-c Ecadherin) 3.5)
	(= (duration-catalyzed-association-reaction cdc25C Chk1 cdc25Cp2) 1.8)
	(= (duration-catalyzed-association-reaction cdc25C C-TAK1 cdc25Cp2) 2.2)
	(= (duration-association-reaction cdk2 cks1 cdk2-cks1) 0.8)
	(= (duration-association-reaction cdk2 cycA cdk2-cycA) 1.1)
	(= (duration-catalyzed-association-reaction cdk2-cycA Wee1 cdk2p1-cycA) 1.7)
	(= (duration-association-reaction cdk2 cycE cdk2-cycE) 1.0)
	(= (duration-association-reaction cdk2 cycEp1 cdk2-cycEp1) 1.1)
	(= (duration-catalyzed-association-reaction cdk2p2-cycB Wee1 cdk2p1p2-cycB) 1.9)
	(= (duration-association-reaction cdk46p1 cycD cdk46p1-cycD) 1.0)
	(= (duration-association-reaction cdk46p1 cycDp1 cdk46p1-cycDp1) 1.1)
	(= (duration-association-reaction c-Myc AP2 c-Myc-AP2) 0.8)
	(= (duration-association-reaction c-Myc Max c-Myc-Max) 0.9)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 c-Myc) 3.3)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycA) 3.8)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycD) 3.5)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycDp1) 3.9)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycE) 3.8)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 cycEp1) 3.7)
	(= (duration-association-reaction E2F13-DP12 gE2 E2F13-DP12-gE2) 0.8)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p107) 3.8)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p107p1) 4.3)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 p19ARF) 3.5)
	(= (duration-synthesis-reaction E2F13-DP12-gE2 pol) 3.6)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 c-Myc) 4.3)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 cycA) 3.7)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 cycD) 4.0)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 cycDp1) 4.2)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 cycE) 3.9)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 cycEp1) 3.6)
	(= (duration-association-reaction E2F13p1-DP12 gE2 E2F13p1-DP12-gE2) 1.0)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 p107) 4.2)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 p107p1) 3.9)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 p19ARF) 4.5)
	(= (duration-synthesis-reaction E2F13p1-DP12-gE2 pol) 3.6)
	(= (duration-association-reaction E2F1 DP12 E2F1-DP12) 1.1)
	(= (duration-association-reaction E2F2 DP12 E2F2-DP12) 0.8)
	(= (duration-association-reaction E2F3 DP12 E2F3-DP12) 1.1)
	(= (duration-association-reaction E2F5 DP12 E2F5-DP12) 1.0)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 c-Myc) 3.3)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycA) 3.7)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycD) 3.6)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycDp1) 4.0)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycE) 3.5)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 cycEp1) 4.4)
	(= (duration-association-reaction E2F5-DP12 gE2 E2F5-DP12-gE2) 1.1)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p107) 4.5)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p107p1) 3.7)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 p19ARF) 4.5)
	(= (duration-synthesis-reaction E2F5-DP12-gE2 pol) 3.6)
	(= (duration-association-reaction E2F6 DP12 E2F6-DP12) 1.1)
	(= (duration-association-reaction E2F6-DP12 gE2 E2F6-DP12-gE2) 1.1)
	(= (duration-association-reaction HDAC1-p107-E2F4p1-DP12 gE2 HDAC1-p107-E2F4p1-DP12-gE2) 0.8)
	(= (duration-association-reaction HDAC1-p130-E2F4p1-DP12 gE2 HDAC1-p130-E2F4p1-DP12-gE2) 0.8)
	(= (duration-association-reaction HDAC1-p130-E2F5-DP12 gE2 HDAC1-p130-E2F5-DP12-gE2) 1.0)
	(= (duration-association-reaction HDAC1 p130-E2F5-DP12 HDAC1-p130-E2F5-DP12) 0.9)
	(= (duration-association-reaction HDAC1-p130-E2F5p1-DP12 gE2 HDAC1-p130-E2F5p1-DP12-gE2) 1.0)
	(= (duration-association-reaction HDAC1 pRb-E2F4p1-DP12 HDAC1-pRb-E2F4p1-DP12) 0.9)
	(= (duration-association-reaction HDAC1-pRbp1-E2F13-DP12 gE2 HDAC1-pRbp1-E2F13-DP12-gE2) 1.0)
	(= (duration-association-reaction HDAC1-pRbp1-E2F13p1-DP12 gE2 HDAC1-pRbp1-E2F13p1-DP12-gE2) 1.0)
	(= (duration-association-reaction HDAC1-pRbp1-E2F4-DP12 gE2 HDAC1-pRbp1-E2F4-DP12-gE2) 1.0)
	(= (duration-association-reaction Jun c-Fos Jun-c-Fos) 1.0)
	(= (duration-association-reaction m1433 cdc25Cp2 m1433-cdc25Cp2) 1.0)
	(= (duration-association-reaction Mdm2 E2F13-DP12 Mdm2-E2F13-DP12) 1.0)
	(= (duration-association-reaction Mdm2 E2F13-DP12p1 Mdm2-E2F13-DP12p1) 1.0)
	(= (duration-association-reaction Mdm2 E2F13p1-DP12 Mdm2-E2F13p1-DP12) 1.1)
	(= (duration-association-reaction p130-E2F5-DP12 gE2 p130-E2F5-DP12-gE2) 0.9)
	(= (duration-association-reaction p130 E2F5-DP12 p130-E2F5-DP12) 0.9)
	(= (duration-association-reaction p16 cdk46p1 p16-cdk46p1) 0.9)
	(= (duration-association-reaction p16 cdk7 p16-cdk7) 0.9)
	(= (duration-association-reaction p21 cdk2-cycA p21-cdk2-cycA) 0.9)
	(= (duration-association-reaction p21 cdk2-cycEp1 p21-cdk2-cycEp1) 0.9)
	(= (duration-association-reaction p21 cdk2-cycE p21-cdk2-cycE) 1.1)
	(= (duration-association-reaction p21 cdk2p1-cycA p21-cdk2p1-cycA) 0.9)
	(= (duration-association-reaction p21 cdk46p1-cycDp1 p21-cdk46p1-cycDp1) 1.1)
	(= (duration-association-reaction p21 cdk46p1-cycD p21-cdk46p1-cycD) 1.1)
	(= (duration-association-reaction p21 Gadd45 p21-Gadd45) 0.9)
	(= (duration-synthesis-reaction p53 c-Fos) 4.3)
	(= (duration-association-reaction p53 DP12 p53-DP12) 1.0)
	(= (duration-synthesis-reaction p53 Gadd45) 4.2)
	(= (duration-synthesis-reaction p53 Mdm2) 3.3)
	(= (duration-synthesis-reaction p53 p21) 3.8)
	(= (duration-association-reaction p57 cdk2-cycA p57-cdk2-cycA) 1.0)
	(= (duration-association-reaction p57 cdk2-cycEp1 p57-cdk2-cycEp1) 1.0)
	(= (duration-association-reaction p57 cdk2-cycE p57-cdk2-cycE) 1.1)
	(= (duration-association-reaction p57 cdk2p1-cycA p57-cdk2p1-cycA) 0.9)
	(= (duration-association-reaction p57 cdk46p1-cycDp1 p57-cdk46p1-cycDp1) 0.9)
	(= (duration-association-reaction p57 cdk46p1-cycD p57-cdk46p1-cycD) 1.0)
	(= (duration-association-reaction pCAF p300 pCAF-p300) 1.1)
	(= (duration-association-reaction PCNA cycDp1 PCNA-cycDp1) 1.0)
	(= (duration-association-reaction PCNA cycD PCNA-cycD) 0.9)
	(= (duration-association-reaction PCNA Gadd45 PCNA-Gadd45) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk2-cycA PCNA-p21-cdk2-cycA) 0.8)
	(= (duration-association-reaction PCNA-p21 cdk2-cycEp1 PCNA-p21-cdk2-cycEp1) 0.8)
	(= (duration-association-reaction PCNA-p21 cdk2-cycE PCNA-p21-cdk2-cycE) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk2p1-cycA PCNA-p21-cdk2p1-cycA) 0.9)
	(= (duration-association-reaction PCNA-p21 cdk46p1-cycDp1 PCNA-p21-cdk46p1-cycDp1) 0.8)
	(= (duration-association-reaction PCNA-p21 cdk46p1-cycD PCNA-p21-cdk46p1-cycD) 1.0)
	(= (duration-association-reaction PCNA p21 PCNA-p21) 1.0)
	(= (duration-association-reaction pRb-E2F4p1-DP12 gE2 pRb-E2F4p1-DP12-gE2) 1.1)
	(= (duration-association-reaction pRbp1-E2F4p1-DP12 gE2 pRbp1-E2F4p1-DP12-gE2) 1.0)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 c-Myc) 3.6)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycA) 3.3)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycD) 4.1)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycDp1) 4.1)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycE) 4.5)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 cycEp1) 4.4)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107) 3.8)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p107p1) 3.5)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 p19ARF) 3.8)
	(= (duration-synthesis-reaction Raf1-p130-E2F4p1-DP12-gE2 pol) 3.5)
	(= (duration-association-reaction Raf1-p130-E2F4p1-DP12 gE2 Raf1-p130-E2F4p1-DP12-gE2) 0.9)
	(= (duration-association-reaction Raf1 p130-E2F4p1-DP12 Raf1-p130-E2F4p1-DP12) 1.1)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 c-Myc) 4.3)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycA) 3.7)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycD) 4.4)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycDp1) 3.8)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycE) 4.2)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 cycEp1) 4.3)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107) 3.7)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p107p1) 4.1)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 p19ARF) 3.5)
	(= (duration-synthesis-reaction Raf1-p130-E2F5-DP12-gE2 pol) 4.3)
	(= (duration-association-reaction Raf1-p130-E2F5-DP12 gE2 Raf1-p130-E2F5-DP12-gE2) 1.1)
	(= (duration-association-reaction Raf1 p130-E2F5-DP12 Raf1-p130-E2F5-DP12) 0.9)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 c-Myc) 4.0)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycA) 3.9)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycD) 4.3)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycDp1) 3.4)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycE) 3.9)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 cycEp1) 3.5)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107) 3.6)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p107p1) 3.6)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 p19ARF) 3.5)
	(= (duration-synthesis-reaction Raf1-p130-E2F5p1-DP12-gE2 pol) 3.8)
	(= (duration-association-reaction Raf1-p130-E2F5p1-DP12 gE2 Raf1-p130-E2F5p1-DP12-gE2) 0.9)
	(= (duration-association-reaction Raf1 p130-E2F5p1-DP12 Raf1-p130-E2F5p1-DP12) 1.0)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 c-Myc) 3.6)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycA) 4.4)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycD) 4.4)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycDp1) 3.5)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycE) 3.9)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 cycEp1) 4.1)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107) 3.3)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p107p1) 3.6)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 p19ARF) 4.6)
	(= (duration-synthesis-reaction Raf1-pRb-E2F4p1-DP12-gE2 pol) 3.8)
	(= (duration-association-reaction Raf1-pRb-E2F4p1-DP12 gE2 Raf1-pRb-E2F4p1-DP12-gE2) 1.1)
	(= (duration-association-reaction Raf1 pRb-E2F4p1-DP12 Raf1-pRb-E2F4p1-DP12) 0.9)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 c-Myc) 4.2)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycA) 3.4)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycD) 4.3)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycDp1) 3.8)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycE) 3.7)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 cycEp1) 3.2)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107) 4.2)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p107p1) 4.5)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 p19ARF) 3.9)
	(= (duration-synthesis-reaction Raf1-pRbp1-E2F4p1-DP12-gE2 pol) 4.6)
	(= (duration-association-reaction Raf1-pRbp1-E2F4p1-DP12 gE2 Raf1-pRbp1-E2F4p1-DP12-gE2) 1.0)
	(= (duration-association-reaction Raf1 pRbp1-E2F4p1-DP12 Raf1-pRbp1-E2F4p1-DP12) 1.0)
	(= (duration-association-reaction RPA cycA RPA-cycA) 0.9)
	(= (duration-association-reaction Skp2 cdk2-cycA Skp2-cdk2-cycA) 0.9)
	(= (duration-association-reaction Skp2 cdk2p1-cycA Skp2-cdk2p1-cycA) 1.1)
	(= (duration-synthesis-reaction SP1-gP c-Myc) 4.4)
	(= (duration-synthesis-reaction SP1-gP cycA) 4.2)
	(= (duration-synthesis-reaction SP1-gP cycD) 3.4)
	(= (duration-synthesis-reaction SP1-gP cycDp1) 4.6)
	(= (duration-synthesis-reaction SP1-gP cycE) 3.9)
	(= (duration-synthesis-reaction SP1-gP cycEp1) 3.8)
	(= (duration-synthesis-reaction SP1-gP p107) 3.7)
	(= (duration-synthesis-reaction SP1-gP p107p1) 4.2)
	(= (duration-synthesis-reaction SP1-gP p19ARF) 4.6)
	(= (duration-synthesis-reaction SP1-gP pol) 3.8)
	(= (duration-association-reaction SP1 gP SP1-gP) 0.9)
	(= (duration-association-reaction SP1-p107 gP SP1-p107-gP) 0.9)
	(= (duration-association-reaction SP1-p107p1 gP SP1-p107p1-gP) 1.1)
	(= (duration-association-reaction SP1 p107p1 SP1-p107p1) 1.0)
	(= (duration-association-reaction SP1 p107 SP1-p107) 1.0))

(:goal
	(and
	(preference p0A (>= (+ (available p57-cdk2p1-cycA) (available p57-cdk2-cycE)) 5))
	(preference p0B (>= (+ (available PCNA-p21-cdk2-cycE) (available p21-cdk2p1-cycA)) 4))
	(preference p0C (>= (+ (available PCNA-p21-cdk2p1-cycA) (available p57-cdk2-cycA)) 5))
	(preference p0D (>= (+ (available Skp2-cdk2p1-cycA) (available PCNA-p21-cdk46p1-cycDp1)) 5))
	(preference p0E (>= (+ (available p57-cdk2-cycEp1) (available PCNA-p21-cdk2-cycEp1)) 5))
	(preference p0F (>= (+ (available cdk2p1-cycA) (available PCNA-cycDp1)) 3))
	(preference p0G (>= (+ (available HDAC1-p130-E2F5-DP12-gE2) (available SP1-p107)) 6))
	(preference p0H (>= (+ (available Skp2-cdk2-cycA) (available p57-cdk46p1-cycD)) 4))
	(preference p0I (>= (+ (available cdk46p1-cycDp1) (available p57-cdk46p1-cycDp1)) 6))
	(preference p0J (>= (+ (available PCNA-p21-cdk2-cycA) (available p19ARF)) 4))
	(preference p0K (>= (+ (available p130-E2F5-DP12-gE2) (available p21-cdk2-cycA)) 6))
	(preference p0L (>= (+ (available p21-cdk2-cycEp1) (available Raf1-p130-E2F5-DP12-gE2)) 4))
	(preference p0M (>= (+ (available p107p1) (available c-Myc-Max)) 7))
	(preference p0N (>= (+ (available SP1-p107-gP) (available p21-cdk46p1-cycD)) 5))
	(preference p0O (>= (+ (available SP1-p107p1) (available PCNA-p21-cdk46p1-cycD)) 5))))


(:constraints (and

	(preference p1A (sometime-before (> (available PCNA-p21-cdk2-cycE) 0) (> (available cycE) 0)))
	(preference p1B (sometime-before (> (available p21-cdk2p1-cycA) 0) (> (available Raf1-pRbp1-E2F4p1-DP12-gE2) 0)))
	(preference p1C (sometime-before (> (available Skp2-cdk2p1-cycA) 0) (> (available cdk2p1-cycA) 0)))
	(preference p1D (sometime-before (> (available p21-cdk2-cycA) 0) (> (available p21) 0)))
	(preference p1E (sometime-before (> (available SP1-p107-gP) 0) (> (available Raf1-p130-E2F4p1-DP12) 0)))
	(preference p1F (sometime-before (> (available SP1-p107p1) 0) (> (available Raf1-p130-E2F5p1-DP12-gE2) 0)))
	(preference p1G (sometime-before (> (available PCNA-p21-cdk46p1-cycD) 0) (> (available Raf1-p130-E2F4p1-DP12-gE2) 0)))

	(preference p1H (always (= (available Raf1-pRb-E2F4p1-DP12-gE2) 0)))
	(preference p1I (always (= (available cycDp1) 0)))
	(preference p1J (always (= (available p107) 0)))
	(preference p1K (always (= (available Raf1-pRb-E2F4p1-DP12) 0)))

	(preference p1L (sometime (> (available E2F5-DP12) 0)))
	(preference p1M (sometime-after (> (available E2F5-DP12) 0) (> (available HDAC1-p130-E2F5p1-DP12-gE2) 0)))
	(preference p1N (sometime (> (available E2F6-DP12-gE2) 0)))
	(preference p1O (sometime-after (> (available E2F6-DP12-gE2) 0) (> (available PCNA-p21) 0)))
	(preference p1P (sometime (> (available cdk2p1p2-cycB) 0)))
	(preference p1Q (sometime-after (> (available cdk2p1p2-cycB) 0) (> (available p130-E2F5-DP12) 0)))
	(preference p1R (sometime (> (available Mdm2-E2F13p1-DP12) 0)))
	(preference p1S (sometime-after (> (available Mdm2-E2F13p1-DP12) 0) (> (available HDAC1-pRb-E2F4p1-DP12) 0)))
	(preference p1T (sometime (> (available E2F2-DP12) 0)))
	(preference p1U (sometime-after (> (available E2F2-DP12) 0) (> (available Jun-c-Fos) 0)))
	(preference p1V (sometime (> (available HDAC1-p130-E2F5-DP12) 0)))
	(preference p1W (sometime-after (> (available HDAC1-p130-E2F5-DP12) 0) (> (available Raf1-p130-E2F5p1-DP12) 0)))
	(preference p1X (sometime (> (available pCAF-p300) 0)))
	(preference p1Y (sometime-after (> (available pCAF-p300) 0) (> (available cdk46p1-cycD) 0)))
	(preference p1Z (sometime (> (available pol) 0)))
	(preference p1AB (sometime-after (> (available pol) 0) (> (available c-Fos) 0)))))

(:metric minimize (+ (* 1.6 (is-violated p0A))
		     (* 1.4 (is-violated p0B))
		     (* 1.4 (is-violated p0C))
		     (* 1.5 (is-violated p0D))
		     (* 1.5 (is-violated p0E))
		     (* 1.5 (is-violated p0F))
		     (* 1.6 (is-violated p0G))
		     (* 1.4 (is-violated p0H))
		     (* 1.4 (is-violated p0I))
		     (* 1.4 (is-violated p0J))
		     (* 1.4 (is-violated p0K))
		     (* 1.6 (is-violated p0L))
		     (* 1.4 (is-violated p0M))
		     (* 1.4 (is-violated p0N))
		     (* 2.5 (is-violated p0O))
		     (* 1 (is-violated p1A))
		     (* 1 (is-violated p1B))
		     (* 1 (is-violated p1C))
		     (* 1 (is-violated p1D))
		     (* 1 (is-violated p1E))
		     (* 1 (is-violated p1F))
		     (* 1 (is-violated p1G))
		     (* 1 (is-violated p1H))
		     (* 1 (is-violated p1I))
		     (* 1 (is-violated p1J))
		     (* 1 (is-violated p1K))
		     (* 1 (is-violated p1L))
		     (* 1 (is-violated p1M))
		     (* 1 (is-violated p1N))
		     (* 1 (is-violated p1O))
		     (* 1 (is-violated p1P))
		     (* 1 (is-violated p1Q))
		     (* 1 (is-violated p1R))
		     (* 1 (is-violated p1S))
		     (* 1 (is-violated p1T))
		     (* 1 (is-violated p1U))
		     (* 1 (is-violated p1V))
		     (* 1 (is-violated p1W))
		     (* 1 (is-violated p1X))
		     (* 1 (is-violated p1Y))
		     (* 1 (is-violated p1Z))
		     (* 1 (is-violated p1AB))
		     (* 0.01 (total-time))
		     (num-subs)))

)
